FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , M

Source URL: tgregoire.info

Formal verification of distributed algorithms for stencil problems Thomas Grégoire September 4, 2013

Source URL: tgregoire.info

1 Distributed routing algorithms to manage power flow in agent-based active distribution network Phuong H. Nguyen, Wil L. Kling, Member, IEEE, Giorgos Georgiadis, Marina Papatriantafilou, Le Anh Tuan, Member IEEE, Lina

Source URL: www.cse.chalmers.se

Centrality Measures on Big Graphs: Exact, Approximated, and Distributed Algorithms Francesco Bonchi Gianmarco De Francisci Morales

Source URL: matteo.rionda.to

Nomination for the IFAAMAS Board: Noa Agmon Noa Agmon is an Assistant Professor of Computer Science at Bar-Ilan University, Israel. She received her M.Sc. in Computer Science (in distributed algorithms) from the Weizmann

Source URL: www.aamas-conference.org

Implementing Randomized Matrix Algorithms in Parallel and Distributed Environments Michael W. Mahoney Stanford University ( For more info, see: http:// cs.stanford.edu/people/mmahoney/

Source URL: mmds-data.org

Distributed Algorithms for Sensor Networks By Christoph Lenzen1 and Roger Wattenhofer2 1 School of Engineering and Computer Science, Hebrew University of Jerusalem

Source URL: disco.ethz.ch

Exercise 4: Extreme Democracy Task 1: Everyone Gets exactly one Vote. . . The goal of this exercise is to prove correct the asynchronous safe broadcast algorithm by Bracha. It tolerates f < n/3 Byzantine faults, so we wi

Source URL: resources.mpi-inf.mpg.de

• Concurrent computing
• Computing
• Consensus
• Distributed computing
• Distributed data storage
• Distributed algorithms

2013 IEEE 33rd International Conference on Distributed Computing Systems Towards an Efficient Online Causal-Event-Pattern-Matching Framework Sukanta Pramanik

Source URL: cs.uwaterloo.ca

• Philosophy
• Metaphysics
• Software engineering
• Causality
• Philosophy of science
• Distributed algorithms
• Pattern matching
• Distributed computing
• Event monitoring
• Software design pattern
• Vector clock
• Determinism

A UNIFIED ALGORITHMIC APPROACH TO DISTRIBUTED OPTIMIZATION João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2

Source URL: users.isr.ist.utl.pt

• Routing algorithms
• Mathematics
• Combinatorial optimization
• Search algorithms
• Graph theory
• Applied mathematics
• A* search algorithm
• Game artificial intelligence
• Model predictive control
• Belief propagation
• Decomposition method